qeq(r; s)
== if isint(r)
== then if isint(s) then (r = s) else let i,j = s in (r * j = i) fi 
== else let p,q = r in if isint(s) then (p = s * q) else let i,j = s in (p * j = i * q) fi 
== fi  

latex

---

clarification:

qeq(r; s)
== if isint(r;tt;ff)
== then if isint(s;tt;ff) then (r = s) else let i,j = s in (r * j = i) fi 
== else let p,q = r in if isint(s;tt;ff) then (p = s * q) else let i,j = s in (p * j = i * q) fi 
== fi  

latex

Definitions	n * m, (i = j), let x,y = A in B(x;y), ff, tt, isint(z;a;b), if b then t else f fi
FDL editor aliases	qeq